41. Automatic quantum computer programming :a genetic programming approach
پدیدآورنده : Spector, Lee
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Quantum computers,، Automatic programming )Computer science(,، Genetic programming )Computer science(
رده :
QA
76
.
889
.
S64
2007
42. Beginning Haskell : a project-based approach
پدیدآورنده : Serrano Mena, Alejandro
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Haskell )Computer program language(,، Functional programming )Computer science(,، Computer programming,، COMPUTERS / Programming Languages / General,، COMPUTERS / Programming / General
رده :
QA
76
.
73
.
H37
2014
43. Beginning Python visualization :
پدیدآورنده : Shai Vaingast.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Object-oriented programming (Computer science),Python (Computer program language),COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Informatique.,Object-oriented programming (Computer science),Object-oriented programming (Computer science),Python,Python (Computer program language),Python (Computer program language),Python-- (Programmiersprache)-- Visualisierung.,Visualisierung,Visualisierung-- Python (Programmiersprache)
رده :
QA76
.
73
.
P98
V35
2009eb
44. Beginning Swift [Book] :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mobile computing-- Programming.,Swift.,Computer programming-- software development.,Computer science.,Computers-- Computer Science.,Computers-- General.,Computers-- Programming-- General.,Information technology: general issues.
رده :
QA76
.
73
.
S95
.
K477
2018eb
45. Blender 2.49 scripting :
پدیدآورنده : Michel Anders.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Python (Computer program language),Scripting languages (Computer science),COMPUTERS-- Programming Languages-- General.,Python (Computer program language),Scripting languages (Computer science)
رده :
QA76
.
6
.
A53
2010eb
46. C++ 14 quick syntax reference
پدیدآورنده : by Mikael Olsson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C++ (Computer program language),Computer programming,Computer science,Programming languages (Electronic computers)
رده :
QA76
.
6-76
.
66
47. Computational Semantics with Functional Programming
پدیدآورنده : / Jan Van Eijck and Christina Unger
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامهنویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
رده :
QA76
,.
7
.
E43
2010
48. Computational semantics with functional programming
پدیدآورنده : \ Jan van Eijck and Christina Unger.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر
رده :
QA
76
.
7
.
E35C6
2010
E-Book
,
49. Computational semantics with functional programming /
پدیدآورنده : Jan van Eijck and Christina Unger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
E43
2010eb
50. Computational structures:an introduction to non-numerical
پدیدآورنده : HALL,PATRICK A V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DATA STRUCTURES )COMPUTER SCIENCE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
9
.
D35
H34
51. Computational structures; an introduction to non-numerical computing
پدیدآورنده : Hall, Patrick A V
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Data structures )computer science(,، Electronic digital computers - programming
رده :
QA
76
.
9
.
D35
H34
52. Computational structures: an introduction to non-numerical computing
پدیدآورنده : / Patrick A.V. Hall
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Data structures (Computer science),Electronic digital computers - Programming
رده :
001
.
64
H178c
53. Computer science, a mathematical introduction: : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems
پدیدآورنده : Lew, Art
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
54. Computer algebra and parallelism
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra- Data processing- Congresses,Parallel programming )Computer science(- Congresses,Parallel processing )Electronic computers(- Congresses
55. Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebra-- Data processing-- Congresses,، Parallel programming )Computer science(-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
155
.
7
.
E4
.
C6495
1992
56. Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 1998 : proceedings
پدیدآورنده : Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1505
57. Computing in object-oriented parallel environments : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 1999 : proceedings
پدیدآورنده : Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1732
58. Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
پدیدآورنده : Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
L28
Vol
.
2001
59. Concurrent object-oriented programming and Petri nets: advances in Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
64
.
C6353
2001
60. Constraint solving over multi-valued logics :
پدیدآورنده : Francisco Azevedo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb